home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / sbprolog / v3 / latex_do.lha / latex_doc / sbprolog_doc.aux < prev    next >
Latex Auxiliary File  |  1990-06-08  |  10KB  |  107 lines
  1. \relax 
  2. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{5}}
  3. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Getting Started}{6}}
  4. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}The Dynamic Loader Search Path}{6}}
  5. \newlabel{search_path}{{2.1}{6}}
  6. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}System Directories}{7}}
  7. \newlabel{system_directories}{{2.2}{7}}
  8. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.3}Invoking the Simulator}{7}}
  9. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.4}Executing Programs}{8}}
  10. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {2.4.1}Compiling Programs}{8}}
  11. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {2.4.2}Loading Byte Code Files}{9}}
  12. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {2.4.3}Consulting Programs}{10}}
  13. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.5}Execution Directives}{11}}
  14. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Syntax}{11}}
  15. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Terms}{11}}
  16. \newlabel{terms}{{3.1}{11}}
  17. \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {1}{\ignorespaces Structure for the Function {\string\ptt\space .(1,.(2,.(3,[\string\pcomma\space ])))}}}{13}}
  18. \newlabel{list}{{1}{13}}
  19. \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2}{\ignorespaces Structures for the Functions {\string\ptt\space [X|L]} and {\string\ptt\space [a,b|L}}}{14}}
  20. \newlabel{structures}{{2}{14}}
  21. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}Operators}{14}}
  22. \newlabel{operators}{{3.2}{14}}
  23. \@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {1}{\ignorespaces Operator Priorities}}{16}}
  24. \newlabel{operator_priorities}{{1}{16}}
  25. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}Clause?}{17}}
  26. \newlabel{clause}{{3.3}{17}}
  27. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.4}Rule?}{18}}
  28. \newlabel{rule}{{3.4}{18}}
  29. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5}Query?}{18}}
  30. \newlabel{query}{{3.5}{18}}
  31. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}SB-Prolog: Operational Semantics}{18}}
  32. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}Standard Execution Behaviour}{18}}
  33. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}Cuts and If-Then-Else}{18}}
  34. \newlabel{cuts_and_if-then-else}{{4.2}{18}}
  35. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.3}Unification of Floating Point Numbers}{19}}
  36. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Evaluable Predicates}{19}}
  37. \@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {2}{\ignorespaces Inline Predicates of SB-Prolog}}{20}}
  38. \newlabel{inlinepredicatetable}{{2}{20}}
  39. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.1}Input and Output}{20}}
  40. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {5.1.1}File Handling}{21}}
  41. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {5.1.2}Term I/O}{21}}
  42. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {5.1.3}Character I/O}{22}}
  43. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.2}Arithmetic}{23}}
  44. \newlabel{arithmetic}{{5.2}{23}}
  45. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.3}Convenience}{25}}
  46. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.4}Extra Control}{26}}
  47. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.5}Meta-Logical}{27}}
  48. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.6}Sets}{29}}
  49. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.7}Comparison of Terms}{30}}
  50. \newlabel{comparison_of_terms}{{5.7}{30}}
  51. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.8}Buffers}{32}}
  52. \newlabel{buffers}{{5.8}{32}}
  53. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.9}Modification of the Program}{33}}
  54. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.10}Internal Database}{36}}
  55. \newlabel{internal_database}{{5.10}{36}}
  56. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.11}Information about the State of the Program}{36}}
  57. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.12}Environmental}{38}}
  58. \@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {3}{\ignorespaces Run Time Statistics Predicates}}{40}}
  59. \newlabel{statistics}{{5.12}{40}}
  60. \@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {4}{\ignorespaces Syscall Numbers for Some Unix Systems Calls}}{42}}
  61. \newlabel{unixsystemcalls}{{4}{42}}
  62. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.13}Global Values}{42}}
  63. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.14}Exotica}{43}}
  64. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Debugging}{45}}
  65. \newlabel{debugging}{{6}{45}}
  66. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.1}High-Level Tracing}{45}}
  67. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.2}Low-Level Tracing}{48}}
  68. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}The Simulator}{48}}
  69. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1}Invoking the Simulator}{48}}
  70. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2}Simulator Options}{49}}
  71. \newlabel{simulator_options}{{7.2}{49}}
  72. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.3}Interrupts}{50}}
  73. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {8}The Compiler}{51}}
  74. \newlabel{the_compiler}{{8}{51}}
  75. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.1}Invoking the Compiler}{51}}
  76. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.2}Compiler Options}{53}}
  77. \newlabel{compiler_options}{{8.2}{53}}
  78. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.3}Assembly}{53}}
  79. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.4}Compiler Directives}{54}}
  80. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {8.4.1}Mode Declarations}{54}}
  81. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {8.4.2}Indexing Directives}{55}}
  82. \newlabel{indexing_directives}{{8.4.2}{55}}
  83. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9}Libraries}{56}}
  84. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {10}Macros}{57}}
  85. \newlabel{macros}{{10}{57}}
  86. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {10.1}Defining Macros}{57}}
  87. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {10.2}Macro Expander Options}{58}}
  88. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {11}Extension Tables: Memo Relations}{58}}
  89. \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {3}{\ignorespaces Extension Table Example}}{60}}
  90. \newlabel{impure_code}{{11}{60}}
  91. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {12}Definite Clause Grammars}{62}}
  92. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {13}Profiling Programs}{64}}
  93. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {14}Other Library Utilities}{67}}
  94. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {15}CREDITS}{68}}
  95. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A}Evaluable Predicates of SB-Prolog}{74}}
  96. \newlabel{builtins}{{A}{74}}
  97. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {B}A Note on Coding for Efficiency}{77}}
  98. \newlabel{coding_for_efficiency}{{B}{77}}
  99. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {B.1}Avoiding Creation of Backtrack Points}{77}}
  100. \@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {5}{\ignorespaces Complementary Tests Recognized by the Compiler}}{77}}
  101. \newlabel{complementary_tests}{{B.1}{77}}
  102. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {B.2}Minimizing Data Movement Between Registers}{79}}
  103. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {B.3}Processing All Arguments of a Term}{79}}
  104. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {B.4}Testing Unifiability}{80}}
  105. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {C}Adding Builtins to SB-Prolog}{81}}
  106. \newlabel{adding_builtins}{{C}{81}}
  107.